//]]>
Unhighlight Highlight
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Giachino, Elena. Publication: . X, 241 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Pattern Recognition by Weickert, Joachim. Publication: . XVI, 448 p. 207 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Security Engineering and Intelligence Informatics by Cuzzocrea, Alfredo. Publication: . XIV, 466 p. 122 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Text, Speech, and Dialogue by Habernal, Ivan. Publication: . XVI, 601 p. 140 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Hierons, Robert M. Publication: . XVIII, 321 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Communication Networking by Bauschert, Thomas. Publication: . XII, 322 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Energy Efficiency in Large Scale Distributed Systems by Pierson, Jean-Marc. Publication: . XI, 312 p. 127 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Availability, Reliability, and Security in Information Systems and HCI by Cuzzocrea, Alfredo. Publication: . XVI, 504 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Research and Advanced Technology for Digital Libraries by Aalberg, Trond. Publication: . XXII, 497 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXXIV, 795 p. 222 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Collective Intelligence. Technologies and Applications by Bǎdicǎ, Costin. Publication: . XXII, 740 p. 243 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . LII, 813 p. 312 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 791 p. 260 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Computer Interaction – INTERACT 2013 by Kotzé, Paula. Publication: . XXX, 797 p. 262 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VIII by Koutny, Maciej. Publication: . XVIII, 203 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms in Bioinformatics by Darling, Aaron. Publication: . XIV, 378 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Next >>
Languages: 
English |
العربية